#ifndef TCPALPHA_H
#define TCPALPHA_H
#include <bits/types.h>
#include "Bool.h"
#include "arista.h"

typedef arista tcpalpha;
typedef int tcpprior;
typedef size_t tcppos;

tcpalpha
alpha_create(int i1, int i2, int i3);

tcpprior
alpha_prior(const tcpalpha elem);

Bool
prior_ord(const tcpprior x, const tcpprior y);

tcpalpha
alpha_destroy(tcpalpha t);

tcpalpha
alpha_clone(tcpalpha t);

#endif
